Search results for "Fundamental group"
showing 10 items of 18 documents
Smooth structures on algebraic surfaces with cyclic fundamental group
1988
k-Weakly almost convex groups and ? 1 ? $$\tilde M^3 $$
1993
We extend Cannon's notion ofk-almost convex groups which requires that for two pointsx, y on then-sphere in the Cayley graph which can be joined by a pathl1 of length ≤k, there is a second pathl2 in then-ball, joiningx andy, of bounded length ≤N(k). Ourk-weakly almost convexity relaxes this condition by requiring only thatl1 ∝l2 bounds a disk of area ≤C1(k)n1 - e(k) +C2(k). IfM3 is a closed 3-manifold with 3-weakly almost convex fundamental group, then π1∞\(\tilde M^3 = 0\).
Counterexamples to the Kneser conjecture in dimension four.
1995
We construct a connected closed orientable smooth four-manifold whose fundamental group is the free product of two non-trivial groups such that it is not homotopy equivalent toM 0#M 1 unlessM 0 orM 1 is homeomorphic toS 4. LetN be the nucleus of the minimal elliptic Enrique surfaceV 1(2, 2) and putM=N∪ ∂NN. The fundamental group ofM splits as ℤ/2 * ℤ/2. We prove thatM#k(S 2×S2) is diffeomorphic toM 0#M 1 for non-simply connected closed smooth four-manifoldsM 0 andM 1 if and only ifk≥8. On the other hand we show thatM is homeomorphic toM 0#M 1 for closed topological four-manifoldsM 0 andM 1 withπ 1(Mi)=ℤ/2.
On the signature of four-manifolds with universal covering spin
1993
In this note we study closed oriented 4-manifolds whose universal covering is spin and ask whether there are restrictions on the divisibility of the signature. Since any natural number appears as the signature of a connected sum of r 2,s, without the assumption on the universal covering there cannot exist any restrictions. Certainly, the most famous such restriction was proved by Rohlin in [10], where he showed that the signature a of a smooth 4-dimensional spin manifold is divisible by 16 (compare part (2) of our Main Theorem for a new proof). The Kummer surface K shows that this is the best possible general result. Dividing by a certain free holomorphic involution on K, one obtains the En…
On the classification of topological 4-manifolds with finite fundamental group
1988
On the proper homotopy invariance of the Tucker property
2006
A non-compact polyhedron P is Tucker if, for any compact subset K ⊂ P, the fundamental group π1(P − K) is finitely generated. The main result of this note is that a manifold which is proper homotopy equivalent to a Tucker polyhedron is Tucker. We use Poenaru’s theory of the equivalence relations forced by the singularities of a non-degenerate simplicial map.
Albanese Maps and Fundamental Groups of Varieties With Many Rational Points Over Function Fields
2020
We investigate properties of the Albanese map and the fundamental group of a complex projective variety with many rational points over some function field, and prove that every linear quotient of the fundamental group of such a variety is virtually abelian, as well as that its Albanese map is surjective, has connected fibres, and has no multiple fibres in codimension one.
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
2013
AbstractWe prove that the unification type of Łukasiewicz (infinite-valued propositional) logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background to such diverse tools. In particular, we offer a detailed proof of the duality …
ApproximatingL 2-invariants by their finite-dimensional analogues
1994
LetX be a finite connectedCW-complex. Suppose that its fundamental group π is residually finite, i.e. there is a nested sequence ... ⊂ Г m + 1 ⊂ Г m ⊂ ... ⊂ π of in π normal subgroups of finite index whose intersection is trivial. Then we show that thep-thL 2-Betti number ofX is the limit of the sequenceb p(Xm)/[π:Г m ] whereb p(Xm) is the (ordinary)p-th Betti number of the finite covering ofX associated with Г m .